Volpano, Dennis M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Lower bounds on type checking overloading

Dennis M. Volpano

Journal:

Information Processing Letters

Year:

1996

Language:

english

File:

PDF, 439 KB

english, 1996

2

A sound polymorphic type system for a dialect of C

Geoffrey Smith, Dennis Volpano

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 1.42 MB

english, 1998

3

The MFPS XV Security Session

Catherine Meadows, Dennis Volpano

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

File:

PDF, 226 KB

1999

4

Confinement Properties for Multi-Threaded Programs

Geoffrey Smith, Dennis Volpano

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

File:

PDF, 593 KB

1999

5

A type soundness proof for variables in LCF ML

Dennis Volpano, Geoffrey Smith

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 467 KB

english, 1995

6

Empirical investigation of COBOL features

Dennis M. Volpano, H.E. Dunsmore

Journal:

Information Processing & Management

Year:

1984

Language:

english

File:

PDF, 996 KB

english, 1984

7

Secure flow typing

Dennis Volpano, Cynthia Irvine

Journal:

Computers & Security

Year:

1997

Language:

english

File:

PDF, 749 KB

english, 1997

8

Basic research in information privacy

Smith, Geoffrey, Volpano, Dennis

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 125 KB

english, 2000

9

Polymorphic typing of variables and references

Smith, Geoffrey, Volpano, Dennis

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1996

Language:

english

File:

PDF, 195 KB

english, 1996

10

On the systematic design of Web languages

Volpano, Dennis, Smith, Geoffrey

Journal:

ACM Computing Surveys

Year:

1996

Language:

english

File:

PDF, 210 KB

english, 1996

11

[ACM Press the third workshop - Chicago, Illinois, USA (2014.08.22-2014.08.22)] Proceedings of the third workshop on Hot topics in software defined networking - HotSDN '14 - Towards systematic detection and resolution of network control conflicts

Volpano, Dennis M., Sun, Xin, Xie, Geoffrey G.

Year:

2014

Language:

english

File:

PDF, 1.22 MB

english, 2014

12

[ACM Press the 25th ACM SIGPLAN-SIGACT symposium - San Diego, California, United States (1998.01.19-1998.01.21)] Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98 - Secure information flow in a multi-threaded imperative language

Smith, Geoffrey, Volpano, Dennis

Year:

1998

Language:

english

File:

PDF, 1.27 MB

english, 1998

13

Subtypes and quantification

Volpano, Dennis M.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1991

Language:

english

File:

PDF, 100 KB

english, 1991

14

[IEEE 2014 IEEE Security and Privacy Workshops (SPW) - San Jose, CA (2014.5.17-2014.5.18)] 2014 IEEE Security and Privacy Workshops - LEGO(TM) Bricks for Reactive Programming

Volpano, Dennis

Year:

2014

Language:

english

File:

PDF, 557 KB

english, 2014

15

A sound type system for secure flow analysis

Volpano, Dennis, Irvine, Cynthia, Smith, Geoffrey

Journal:

Journal of Computer Security

Year:

1996

Language:

english

File:

PDF, 2.68 MB

english, 1996

16

[IEEE 2017 IEEE Conference on Computer Communications: Workshops (INFOCOM WKSHPS) - Atlanta, GA (2017.5.1-2017.5.4)] 2017 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) - Modular network function virtualization

Volpano, Dennis

Year:

2017

Language:

english

File:

PDF, 756 KB

english, 2017